Incompleteness, Approximation and Relative Randomness
نویسنده
چکیده
We present some results about the structure of c.e. and ∆2 LR-degrees. First we give a technique for lower cone avoidance in the c.e. and ∆2 LR-degrees, and combine this with upper cone avoidance via Sacks restraints to construct a c.e. LR-degree which is incomparable with a given intermediate ∆2 LR-degree. Next we combine measure-guessing with an LR-incompleteness strategy to construct an incomplete c.e. LR-degree which is above a given low ∆2 LR-degree. This is in contrast to the Turing degrees, in which there is a low ∆2 Turing degree which is incomparable with all intermediate c.e. Turing degrees.
منابع مشابه
Algorithmic Randomness , Quantum Physics , and Incompleteness C
Is randomness in quantum mechanics “algorithmically random”? Is there any relation between Heisenberg’s uncertainty relation and Gödel’s incompleteness? Can quantum randomness be used to trespass the Turing’s barrier? Can complexity shed more light on incompleteness? In this paper we use variants of “algorithmic complexity” to discuss the above questions.
متن کاملAlgorithmic Randomness, Quantum Physics, and Incompleteness
Is randomness in quantum mechanics “algorithmically random”? Is there any relation between Heisenberg’s uncertainty relation and Gödel’s incompleteness? Can quantum randomness be used to trespass the Turing’s barrier? Can complexity shed more light on incompleteness? In this paper we use variants of “algorithmic complexity” to discuss the above questions.
متن کاملInformation, Randomness and Incompleteness - Papers on Algorithmic Information Theory; 2nd Edition
Preparing the books to read every day is enjoyable for many people. However, there are still many people who also don't like reading. This is a problem. But, when you can support others to start reading, it will be better. One of the books that can be recommended for new readers is information randomness and incompleteness papers on algorithmic information theory. This book is not kind of diffi...
متن کامل02 19 7 v 6 1 1 Ju l 2 00 6 From Heisenberg to Gödel via Chaitin
In mathematics you don't understand things. You just get used to them. Abstract In 1927 Heisenberg discovered that the " more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa ". Four years later Gödel showed that a finitely specified, consistent formal system which is large enough to include arithmetic is incomplete. As both results ...
متن کاملAlgorithmic Information Theory and Kolmogorov Complexity
This document contains lecture notes of an introductory course on Kolmogorov complexity. They cover basic notions of algorithmic information theory: Kolmogorov complexity (plain, conditional, prefix), notion of randomness (Martin-Löf randomness, Mises–Church randomness), Solomonoff universal a priori probability and their properties (symmetry of information, connection between a priori probabil...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computability
دوره 1 شماره
صفحات -
تاریخ انتشار 2012